home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c-part1 / 9438 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  2.4 KB
  1. Path: solon.com!not-for-mail
  2. From: johnb@pivotal-dm.ccmail.compuserve.com (John Bain)
  3. Newsgroups: comp.lang.c,comp.lang.c.moderated
  4. Subject: Re: Integral promotion problem
  5. Date: 11 Mar 1996 06:28:36 -0600
  6. Organization: Pivotal Technologies Ltd.
  7. Sender: clc@solutions.solon.com
  8. Approved: clc@solutions.solon.com
  9. Message-ID: <4i169k$ht@solutions.solon.com>
  10. References: <31404525.26295649@dub-news-svc-3.compuserve.com>
  11. NNTP-Posting-Host: solutions.solon.com
  12. X-Newsreader: Forte Agent .99d/32.182
  13.  
  14.  
  15. tanmoy@qcd.lanl.gov (Tanmoy Bhattacharya) wrote:
  16.  
  17. > In article <4hqedq$1mj@solutions.solon.com>
  18. > johnb@pivotal-dm.ccmail.compuserve.com (John Bain) writes:
  19. > 
  20. > JB: The hex values and the result of the first "if" are the "surprising"
  21. > JB: results I was expecting.  However, the result of the second "if" has me
  22. > JB: confused.
  23. > JB: 
  24. > JB: What am I missing?
  25. > JB: 
  26. >
  27. > Compiler error? 
  28.  
  29. I'm glad it's the compiler, not me!
  30.  
  31. >
  32. > JB: (In case it's relevent, the implementation defines the conversion of an
  33. > JB: unsigned integer to a signed integer, when the unsigned value cannot be
  34. > JB: represented in the signed integer, as being performed by truncation of
  35. > JB: the most significant bits if the signed integer is shorter, and then
  36. > JB: interpreting the remaining bits as a 2's complement integer.)
  37. > 
  38. > Why should that be relevant? What am I missing?
  39.  
  40. I didn't think it was relevant, it's just that the results I was seeing
  41. were making me doubt my understanding so I thought I'd include the
  42. information just in case.  The reference section of K&R2 (the best
  43. definition I have, as I do not have a copy of the standard) says, in its
  44. definition of '~' (A7.4.6):
  45.  
  46. "The integral promotions are performed.  If the operand is unsigned, the
  47. result is computed by subtracting the value from the largest value of
  48. the promoted type.  If the operand is signed, the result is computed by
  49. converting the promoted operand to the corresponding unsigned type,
  50. applying ~, and converting it back to the unsigned type."
  51.  
  52. I didn't believe that the implementation defined unsigned->signed
  53. conversions were happening, but I didn't believe the results I was
  54. seeing either!
  55.  
  56. Incidentally, I assume that when it says "if the operand is unsigned" it
  57. means _before_ promotion?
  58.  
  59. > Cheers
  60. > Tanmoy
  61.  
  62. Thanks,
  63.  
  64. John
  65. -----------------------------------------------------------------
  66. John Bain                  
  67. johnb@pivotal-dm.ccmail.compuserve.com 
  68. -----------------------------------------------------------------
  69.